#ifndef _DRVSYSTICK_T_H_
#define _DRVSYSTICK_T_H_

/* S3C2440 timer 寄存器 */

#define S3C2440_REG_TCFG0       0x51000000    /* Timer configuration */
#define S3C2440_REG_TCFG1       0x51000004    /* Timer configuration */
#define S3C2440_REG_TCON        0x51000008    /* Timer control */
#define S3C2440_REG_TCNTB0      0x5100000C    /* Timer count buffer 0 */
#define S3C2440_REG_TCNTB4      0x5100003C    /* Timer count buffer 4 */

#define S3C2440_TIMER4_IRQIDX   14            /* timer4 硬件中断序号 */

#endif
